英才班基础化学原理自主学习模式的构建与实践

"Creative teaching" is the most suitable teaching pattern for the training of top-notch talents and the core is the cultivation of elite-class students' autonomous learning ability. We have tried to build the autonomous learning mode in the course of Principles of Basic Chemistry for the elite-class major in polymer materials engineering. The teaching practice has been carried out in six aspects that are "leading both teachers and students to change minds, constructing autonomous learning platform, activating the classroom teaching, complementary integration between PBL teaching method and 'the flipped classroom', 'a line' for extracurricular self-study, and 'point-line-face' generalization and summarization".     

A network queuing approach for evaluation of performance measures in autonomous vehicle storage and retrieval systems

A network queuing approach is used to estimate performance measures for Autonomous Vehicle Storage and Retrieval (AVS/R) Systems using opportunistic interleaving. The model exploits the distribution of cycle types and random storage assumptions to estimate the proportion of single and dual command cycles in a system. Comparable in accuracy and computational efficiency to procedures based on standard queuing models, the proposed technique provides the additional advantage of flexibility for modeling the interfaces between a storage system and the overall material flow system in a facility. The procedure is demonstrated for a range of problem scenarios.     

Funnel control for fully actuated systems under a fragment of signal temporal logic specifications

Temporal logics have lately proven to be a valuable tool for various control applications by providing a rich specification language. Existing temporal logic-based control strategies discretize the underlying dynamical system in space and/or time. We will not use such an abstraction and consider continuous-time systems under a fragment of signal temporal logic specifications by using the associated robust semantics. In particular, this paper provides computationally-efficient funnel-based feedback control laws for a class of systems that are, in a sense, feedback equivalent to single integrator systems, but where the dynamics are partially unknown for the control design so that some degree of robustness is obtained. We first leverage the transient properties of a funnel-based feedback control strategy to maximize the robust semantics of some atomic temporal logic formulas. We then guarantee the satisfaction for specifications consisting of conjunctions of such atomic temporal logic formulas with overlapping time intervals by a suitable switched control system. The result is a framework that satisfies temporal logic specifications with a user-defined robustness when the specification is satisfiable. When the specification is not satisfiable, a least violating solution can be found. The theoretical findings are demonstrated in simulations of the nonlinear Lotka–Volterra equations for predator–prey models.     

热带气旋登陆概率的Logistic模拟

本研究采用1949--2008年近60年的热带气旋资料,对热带气旋源地分布与登陆概率进行了描述统计以及相关分析;并在此基础上建立Logistic模型,模拟热带气旋的登陆概率。结果显示:(1)西北太平洋热带气旋源地分布和登陆气旋的源地分布存在显著差异。0°-10°N纬度带登陆频数与生成频数比偏低,纬度带10°-15°N则两者具有一致性,而15°N以北登陆频数比偏高。经度的分布上135°E以西偏高,135°E以东偏低。(2)热带气旋登陆概率与源地存在显著相关关系。以西北太平洋热带气旋源地做5°×5°的经纬度分类,源地愈偏东登陆概率愈小,而TC源地纬度变化对其登陆概率的影响不如经度变化显著,但是随纬度偏北略为增加。(3)Logistic模型对影响和登陆我国的热带气旋拟合表明,经度带由西向东4个生成TC频数较多的典型海区,即南海中北部海面、菲律宾群岛以东和琉球群岛附近海面、马里亚纳群岛附近海面、马绍尔群岛附近海面的登陆概率逐渐减低。本文首次将非参数检验、Logistic概率回归模型等统计方法应用于热带气旋气候特征研究,提高了对西北太平洋热带气旋源地与其登陆关联性的统计规律性认识。     

Path planning,modeling and simulation of an autonomous articulated heavy construction machine performing a loading cycle

This research presents path planning and tracking for an articulated large wheel loader during the travel portion of a loading cycle. The study proposes a methodology for path planning, modeling, simulation and control of such vehicles; the analysis focuses on all of these components together and explains the relation among them. The developed methodology for path planning takes into account the dynamics and the performance characteristics of the heavy construction articulated vehicles, it also takes into account the construction working site constraints. The path optimization criterion is based on distance and cusp minimization without neglecting the constraints imposed by the size of the vehicle and its stable turning radius. The proposed path planning methodology is an extension and an improvement for Reeds and Shepp algorithm for a point shortest path calculation. The optimal path is consisted of circular arcs and straight segments, the radius is constant and identical for each arc in the desired path, the radius assumed to be similar to the minimum turning radius of the machine. When optimizing articulated machine path; to best account for machine size and articulation; more than one approach are discussed and compared. The machine is modeled and simulated during tracing the pre-defined planned path. The machine model includes the main frames, tires and a steering controller. The developed PID controller is used to keep machine lateral position within the pre-defined path while traveling with constant speed. The results showed an acceptable optimized path which the machine is able to track closely.     

Kinetic theory of situated agents applied to pedestrian flow in a corridor

A situated agent-based model for simulation of pedestrian flow in a corridor is presented. In this model, pedestrians choose their paths freely and make decisions based on local criteria for solving collision conflicts. The crowd consists of multiple walking agents equipped with a function of perception as well as a competitive rule-based strategy that enables pedestrians to reach free access areas. Pedestrians in our model are autonomous entities capable of perceiving and making decisions. They apply socially accepted conventions, such as avoidance rules, as well as individual preferences such as the use of specific exit points, or the execution of eventual comfort turns resulting in spontaneous changes of walking speed. Periodic boundary conditions were considered in order to determine the density-average walking speed, and the density-average activity with respect to specific parameters: comfort angle turn and frequency of angle turn of walking agents. The main contribution of this work is an agent-based model where each pedestrian is represented as an autonomous agent. At the same time the pedestrian crowd dynamics is framed by the kinetic theory of biological systems.     

基于ODDD水下机器人故障诊断方法

近年来数据挖掘技术的快速发展使得利用水下机器人作业过程中积累的大量数据进行故障诊断成为可能。基于数据挖掘的故障诊断技术能够从数据中获取潜在的诊断知识。针对水下机器人推进器系统数据特征,提出一种基于聚类和距离的离群点检测方法(Outlier Detection based on DBSCAN and Distance,ODDD)。首先,对数据进行粗聚类,然后采用剪枝规则进行离群点检测,来实现故障诊断。仿真实验结果表明算法能够实现水下机器人快速有效的故障检测。     

Critical points at infinity and blow up of solutions of autonomous polynomial differential systems via compactification

Critical points at infinity for autonomous differential systems are defined and used as an essential tool. Rn is mapped onto the unit ball by various mappings and the boundary points of the ball are used to distinguish between different directions at infinity. These mappings are special cases of compactifications. It is proved that the definition of the critical points at infinity is independent of the choice of the mapping to the unit ball.We study the rate of blow up of solutions in autonomous polynomial differential systems of equations via compactification methods. To this end we represent each solution as a quotient of a vector valued function (which is a solution of an associated autonomous system) by a scalar function (which is a solution of a related scalar equation).     

Existence of Periodic Solutions of an Autonomous Damped Wave Equation in Thin Domains

For a nonlinear autonomous damped wave equation in a thin domain we provide conditions ensuring the existence of periodic solutions in time. Our approach uses both methods developed by Hale and Raugel and methods based on the topological degree theory together with some results on the functionalization of parameter.     

Existence of solutions for nonlinear boundary value problems of impulsive differential equations

With the help of the coincidence degree continuation theorem, we generalize to the case of impulsive systems of the second order some existence results obtained by Gaines and Mawhin in the ordinary case. In particular, for the impulsive functions the treatment does not assume any monotonicity conditions, which are necessary in earlier papers treated by S.Hu and V.Lakshmikantham, L.H.Erbe and X.Liu with other methods.